National Institute for Research in Computer Science and Control

Results: 71



#Item
31Computations, algebra and computer algebra in Coq Assia Mahboubi INRIA Microsoft Research Joint Centre (France) INRIA Saclay – ˆIle-de-France ´ Ecole

Computations, algebra and computer algebra in Coq Assia Mahboubi INRIA Microsoft Research Joint Centre (France) INRIA Saclay – ˆIle-de-France ´ Ecole

Add to Reading List

Source URL: algo.inria.fr

Language: English - Date: 2012-01-31 05:29:56
32Dr. Stéphane GRUMBACH Senior Researcher INRIA (Beijing, China) Stéphane Grumbach, is a senior researcher at INRIA, the French Institute for Computer

Dr. Stéphane GRUMBACH Senior Researcher INRIA (Beijing, China) Stéphane Grumbach, is a senior researcher at INRIA, the French Institute for Computer

Add to Reading List

Source URL: is.jrc.ec.europa.eu

Language: English - Date: 2013-09-27 09:38:23
33Director of European and International Partnerships (M/F) About INRIA Our society is becoming more and more reliant on digital technology for our communications, healthcare, travel and entertainment. Such technology, of

Director of European and International Partnerships (M/F) About INRIA Our society is becoming more and more reliant on digital technology for our communications, healthcare, travel and entertainment. Such technology, of

Add to Reading List

Source URL: www.ercim.eu

Language: English - Date: 2014-10-30 07:41:49
34Highlight: Meet Poppy, the 3-D printed robot set to inspire innovation in classrooms 28 October 2014 Written in cooperation with Inria, France European Research Council (ERC) grantee Dr Pierre-Yves Oudeyer, is today

Highlight: Meet Poppy, the 3-D printed robot set to inspire innovation in classrooms 28 October 2014 Written in cooperation with Inria, France European Research Council (ERC) grantee Dr Pierre-Yves Oudeyer, is today

Add to Reading List

Source URL: erc.europa.eu

Language: English - Date: 2014-12-02 19:33:55
35Meals For lunch, you may use the multiple-enterprise staff restaurant at 12 avenue d’Italie. As agent of INRIA, you will have to pay the full price for your meal. However, you will be reimbursed as part of your busines

Meals For lunch, you may use the multiple-enterprise staff restaurant at 12 avenue d’Italie. As agent of INRIA, you will have to pay the full price for your meal. However, you will be reimbursed as part of your busines

Add to Reading List

Source URL: www.di.ens.fr

Language: English - Date: 2011-12-02 11:00:43
36Open Access the INRIA Experience Gregory Grefenstette TRACES Inria OpenAIRE, May 22, 2014

Open Access the INRIA Experience Gregory Grefenstette TRACES Inria OpenAIRE, May 22, 2014

Add to Reading List

Source URL: www.coar-repositories.org

Language: English - Date: 2014-06-05 08:47:40
37Smart Cities, Smarter Travelers: Making transit a better experience using smart phones Animesh Pathak Project-team MiMove Inria Paris-Rocquencourt

Smart Cities, Smarter Travelers: Making transit a better experience using smart phones Animesh Pathak Project-team MiMove Inria Paris-Rocquencourt

Add to Reading List

Source URL: future-internet.uni.lu

Language: English - Date: 2014-06-12 10:24:50
38The Smart City : Inria and CITRIS chosen by the cities of Paris... http://www.inria.fr/en/centre/paris-rocquencourt/news/inria-and-... Home > Centre > Paris - Rocquencourt > News > Inria and CITRIS chosen by the cities

The Smart City : Inria and CITRIS chosen by the cities of Paris... http://www.inria.fr/en/centre/paris-rocquencourt/news/inria-and-... Home > Centre > Paris - Rocquencourt > News > Inria and CITRIS chosen by the cities

Add to Reading List

Source URL: citris-uc.org

Language: English - Date: 2014-03-19 18:33:32
39University of Yaounde I Call for Applications Masters and PhD Programmes in Information and Communication Technologies and Sciences (ICTS) http:///www.cetic.cm

University of Yaounde I Call for Applications Masters and PhD Programmes in Information and Communication Technologies and Sciences (ICTS) http:///www.cetic.cm

Add to Reading List

Source URL: www.univ-douala.com

Language: English - Date: 2014-08-11 10:45:50
40Reference MARTE Tutorial – November 2007 – Version 1.1 www.omgmarte.org 

Reference MARTE Tutorial – November 2007 – Version 1.1 www.omgmarte.org 

Add to Reading List

Source URL: www.omgmarte.org

Language: English - Date: 2010-06-20 23:01:21